(Info-insert-dir): Ignore duplicate directories.
authorRichard M. Stallman <rms@gnu.org>
Fri, 28 May 1993 23:57:33 +0000 (23:57 +0000)
committerRichard M. Stallman <rms@gnu.org>
Fri, 28 May 1993 23:57:33 +0000 (23:57 +0000)
commit4fdd647eb1de18c2483a061ff8ebad49b7e196db
tree1a7526e437a4575e2c4c3023ec38ff4db5de9644
parent19eaeb86095f937821aa4051781477672adbc5f1
(Info-insert-dir): Ignore duplicate directories.
lisp/info.el